On Constraints and Queries in UML
نویسندگان
چکیده
The UML has recently been extended by an Object Constraint Language (OCL). This formal language can be used for specifying constraints on a model in order to restrict possible system states. We present some examples for illustrating main concepts of OCL. Problems with the current deenition of OCL resulting from imprecise or ambiguous deenitions are investigated. A comparison of OCL with a language for speciication of queries and integrity constraints in an Extended Entity{Relationship model shows similarities between both approaches. This comparison could lead to a better understanding of OCL.
منابع مشابه
A UML/OCL Framework for Design of Mediated Data Federations
This paper describes a general semantic framework for precise specification of so-called mediating systems; such systems provide for tight coupling on a global level of a collection of heterogeneous component databases to a federated database. A mediating system maps in a uniform and systematic manner the underlying database schemas of the component systems to a separate, newly defined integrat...
متن کاملTransforming Xml Schema Constraining Facets and Xml Queries to Object Constraint Language (ocl)
Unified Modeling Language UML became the main part of software development including web applications that use XML for exchanging structured data. That’s why there is a need for modeling XML elements with UML. Design Recovery or Reverse Engineering allows us to get conceptual schema which helps developers to understand systems and to ease its maintenance. A lot of XML Schema mapping methods foc...
متن کاملOn Formalizing the UML Object Constraint Language OCL
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Uniied Modeling Language (UML) { an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional integrity constraints and queries are speciied with ...
متن کاملUML-Based Service Discovery Framework
The development of service centric systems, i.e software systems constructed as compositions of autonomous services, has been recognised as an important approach for software system development. Recently, there has been a proliferation of systems which are developed, deployed, and consumed in this way. An important aspect of service centric systems is the identification of web services that can...
متن کاملObject-Oriented Modeling and Design of Database Federations
We describe a logical architecture and a general semantic framework for precise specification of so-called database federations. A database federation provides for tight coupling of a collection of heterogeneous component databases into a global integrated system. Our approach to database federation integrates in a uniform and systematic manner the underlying database schemas of the component l...
متن کامل